Qualifying Types Illustrated by Synchronisation Examples
نویسندگان
چکیده
Qualifying types represent a new approach to modifying the behaviour of instances of other types in a general way, in the form of components which can be designed and implemented without a prior knowledge of the types to be modified or their implementations. This paper illustrates the idea by showing how they can be used to program various standard synchronisation problems, including mutual exclusion, reader-writer synchronisation and several variants of the bounded buffer problem.
منابع مشابه
Call-out Bracket Methods in Timor
This paper extends the concept of qualifying types by describing how their implementations can include not only bracket methods which are applied when a method of a target object is invoked, but also further "call-out" bracket methods which can be applied to invocations by the target object of the methods of other objects. This additional technique can be used for example to provide enhanced sy...
متن کاملChapter 6: Synchronisation
Synchronisation occurs when large numbers of individuals co-ordinate to act in unison. In this wide definition of the word, many different types of collective behaviour are examples of synchronisation. A highly aligned group of birds, fish or particles can be said to have synchronised their direction of movement. More commonly however, when we use the word synchronisation we are thinking about ...
متن کاملComplex dynamics of nonlinear systems
Different nonlinear systems are presented exhibiting various dynamical phenomena, including bifurcations, chaotic dynamics, and synchronisation. Furthermore, methods for analysing, modelling and controlling complex dynamics are discussed. All these topics are illustrated with examples from work on nonlinear systems conducted at the DPI.
متن کاملSome Results about Set-Valued Complementarity Problem
This paper is devoted to consider the notions of complementary problem (CP) and set-valued complementary problem (SVCP). The set-valued complementary problem is compared with the classical single-valued complementary problem. Also, the solution set of the set-valued complementary problem is characterized. Our results illustrated by some examples. This paper is devoted to co...
متن کاملQualifying Types with Bracket Methods in Timor
A new kind of type is described whose objects ("qualifiers") have bracket methods which can modify the run-time behaviour of other objects ("targets"). Bracket methods can qualify either specific methods of a target or can separately qualify their reader and writer methods, thus allowing general qualifiers to be developed for standard activities such as synchronisation, monitoring and protectio...
متن کامل